((v3 v3 9) (v2 v1 1))
27
()